A trace-based model for multiparty contracts
نویسندگان
چکیده
منابع مشابه
A trace-based model for multiparty contracts
In this article we present a model for multiparty contracts in which contract conformance is defined abstractly as a property on traces. A key feature of our model is blame assignment, which means that for a given contract, every breach is attributed to a set of parties. We show that blame assignment is compositional by defining contract conjunction and contract disjunction. Moreover, to specif...
متن کاملMultiparty Contracts: Agreeing and Implementing Interorganizational Processes
BPEL process executable BPEL process
متن کاملAn event-based model for contracts
We introduce a basic model for contracts. Our model extends event structures with a new relation, which faithfully captures the circular dependencies among contract clauses. We establish whether an agreement exists which respects all the contracts at hand (i.e. all the dependencies can be resolved), and we detect the obligations of each participant. The main technical contribution is a correspo...
متن کاملA Statistical Model for Multiparty Electoral Data
W e propose a comprehensive statistical model for analyzing multiparty, district-level elections. This model, which provides a tool for comparative politics research analogous to that which regression analysis provides in the American two-party context, can be used to explain or predict how geographic distributions of electoral results depend upon economic conditions, neighborhood ethnic compos...
متن کاملA Typed Model for Multiparty Conversations
We present a type theory for analyzing concurrent multiparty interactions asfound in service-oriented computing, using the Conversation Calculus as under-lying model. Our theory introduces a novel and flexible type structure, able touniformly describe both the internal and the interface behavior of systems, re-ferred respectively as choreographies and contracts in web-services t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Logic and Algebraic Programming
سال: 2012
ISSN: 1567-8326
DOI: 10.1016/j.jlap.2011.04.010